Report - Matita

What's wrong with this instant?