Hilfsaussage und Voraussetzung vergessen
Kapitel über Friemans Trick ist akzeptabel, über Coquand&Co. fehlt aber noch völlig.