אנגלית ⇄ ליטאית רוסית +

irrefutable formula מתח
.טכנול	неопровержимая логическая формула
.מָתֵי	неопровержимая формула