. "contraposu" . .