Forgot a precondition