. . . . "contrapositum" . .