"É um tantinho demais, até para os padrões de Gilmar Mendes"