Definition of "precondition"

precondition