Are interactive simulations constantly verifying if the new conditions are possible? Is there some approximation that occurs from an impossible to a possible condition?