Dermed er det at NN ble myrdet hvis og bare hvis det ikke er at NN ble myrdet. Tilsvarende er det at NN ble myrdet hvis og bare hvis det ikke er at NN ble myrdet.