... :
Example 1: "Everyone who boards the plane ... show his or her ticket to the attendant. Since ... Tom has shown his ticket, he will be allowed ... show his or her ticket to the attendant. Since ... Tom has shown his ticket, he must have boarded ...