Title: Syllogisms C1, If-Then Statements