asserting precondition