6.4. Работа с утверждениями как с термами