Constructive and virtual simulations