Verify methods operate at a single level of abstraction