Исправление ошибок в семантике + монотонность