Está pasando algo con $COQ, pero no sé por qué..
147