Denunciar - Coq

O que tem de errado com esse instant?