Isabelle N+n.1177


Do you see errors?/Do you have hints?