• (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.