Какие выражения никогда не переводятся на формальном уровне?