Há algo acontecendo com $COQ, mas eu não sei por quê.
131