Ключевая фраза: формальный метод