https://9pdf.org/document/z1dlver8-xvsm-narrative-formalisation-technical-note-version.html