. "contraposit" . .