ограничения на переменные состояния