. "contrapositur" . .