PanLinx
English
eng-000
provably difficult
русский
rus-000
доказуемо трудный
PanLex