Backward Simulation for Sets of Trajectories — arXiv2