Before revision: is called on the same value that it returns true .
After revision: is called on the same value that it returns tru .