TODO: Successor-state axioms
Not-var
Simulate receiving a perfect.