@jimalkhalili contrapositive is true but not converse! Descartes happily makes his way home