Which of these statements is 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 called a signal
• D. activity diagram shows concurrency by use of fork & join.