Isabelle? N
+
1296
Do you see errors?/Do you have hints?