. . . . . "contrapositum" . .