The next three lines are the same in both clauses.