Backward simulation

By Galimatias