Modus Tollens
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
If p then q; not-q; therefore not-p. Always valid.
Show
If the fuse blew, the lights are out. The lights are on. The fuse didn't blow.
Watch for
MT runs the conditional backward through the negations — the only legal reverse gear.