Which of these statements are truly acceptable ?

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