Verify that: