precondition [pl. preconditions]