Esta versión del argumento fue formalizada por O´Hear con un "modus tollendo tollens":