Report - isabelle

What's wrong with this instant?