Логика - Переводчики, Переменчики уровней