Typeset more parts of GH-13
Write up the confusion about GH-13
More notes for GH-13