, 2009, 'Computing the uncomputable; or, the discrete charm of second-order simulacra', Synthese 169 (3), 447-463.