P
precondition