AFFIRMING THE ANTECEDENT

Arguing, validly, that fromp, and ifpthenq, it follows thatq. See modus ponens.