У меня возникают сложности с переводом этих построений на формальный язык.