Why is it okay for the order of the argument to be flipped from A-->B to B-->A (at minute 4)? I thought that wasn't allowed unless we're taking the contrapositive.