What should be negated in the universal conditional “Whenever the teacher comes, the lesson starts”?

Contradiction: Definition, Conditions and Application to Propositions

• Only the teacher’s name
• The universal connection between antecedent and consequent
• The lesson title
• Only the word “whenever”