Пользователь ()
Применение формальных методов валидации моделей для UI