A. Contradictions B. Post-condition C. Vagueness D. None of the mentioned Explanation: A precondition defines the circumstances in which a particular operation is valid. Advertisement Advertisement