I just wrote well-structured, dense, coherent / "mentally type-checked", bulleted-list prose, often copied directly from Workflowy. Some of the critical parts were described with FP-style pseudocode, for greater exactness.