Revisions 10.23

Almost everything from Matthias's on-paper comments
Matthias, what was your comment about the phrase "proof of concept"?