When he provides the contrapositive for the "late" example, he says that "what's 'not more' ? " and says that not more is "less". isn't this the opposite of "more" and not the negation?

Me too! I would like to join!