propositional simulations