Purely some extra comments to clarify what is (/ I think) is happening.