Luke Dormehl: Believing machines