Cohen on contraposition