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

extensional logic מתח
.מָתֵי	экстенсиональная логика