To go backwards, don't you have to save the previous states of the machine. This always seemed long a strong limitation.