Filed as willmiao with the 138-word text from §13.1; the internal notes in §13.2 (write/read asymmetry, evidence table) stayed out of the issue.
Filed as willmiao with the 138-word text from §13.1; the internal notes in §13.2 (write/read asymmetry, evidence table) stayed out of the issue.