PanLinx
English
eng-000
theoretical counterexample
русский
rus-000
теоретический контрпример
PanLex