Which of these statements are truly acceptable?

• A. a precondition is an assertion guaranteed to be true when the operation finishes
• B. a post-condition is an assertion guaranteed to be true when the activity or operation begins
• C. an event which causes a use case to begin is trigger
• D. none of the mentioned