What is precondition?

• A. It is an assertion that must be true at the initiation of an operation
• B. It is an assertion that must be true upon completion of an operation
• C. It is a statement that must be true at a designated point in a program
• D. None of the mentioned