Satifying Physics Simulation 2