 that is, if \(MN{=}ab\) then \(N{=}ab\). But suppose a is replaced by “the number thrown on this throw of this die” and b by “the number thrown on the next throw of this die” the antecedent can be true and the consequent false.