 Contemporary logicians are also impressed by the intuitive equivalence between ‘All men are mortal’ and its contrapositive ‘All immortals are non-men’. This equivalence is predicted by the hypothesis that universal generalizations are conditionals.