Add head matter.

Change $ ... $ to \( ... \). Notice nesting.

Standardize mathematical symbols in macros, e.g. O, THETA, \setintsct.

Fix boundaries of math, e.g. P $=$ NP.

Kill speed-typing macros, e.g. \cl, \cF, \ca.

Introduce mathematical type markers, e.g. \flanguage, \setofset, \program.

Determine whether formal phrases should by math or text, e.g. CLICQUE.

Change dynamic numbering, reference, to static, e.g. asection, alabsubtext.

Define custom structural items, e.g. description.

Mark paragraphs, with numbers.

Mark sentences (including unpunctuated, nested cases).

MISSED RT.