Can you give it a program, a state of output, and tell it to work backwards?