Line-by-line revision of part B has slowed down a little, each of us has had flu.

Just made it to p84. How’s this for an impressive German word: Implikationsvordergliedes.