С $COQ происходит что-то, но я не знаю, почему..
149