Source code of the manifold
Zero-order axioms, then the woven orders they generate. A. is not Xc. Bare integers are not a legal citation.