How come this doesn't cause an AssertionError to be thrown?  I guess I don't see how moving it from a pre-condition to an explicit call in the body would change anything