matrix-spec-proposals

5e7ed2b9 - Tweak wording about lexicographic ordering