with Warwick, W. , 2009, 'Projectible predicates in analogue and simulated systems', Synthese 169 (3), 465-482.