PanLinx
русский
rus-000
строгая контрапозиция
English
eng-000
strict contraposition
PanLex