preconditions [sing. a precondition]