發送短信: Нецелеориентированная стратегия вывода формул в модальных исчислениях