I sketched a model of the primary directive based on this discussion.

This should add precision to the discussion. There may be careless errors like typos. I’ll proofread and add commentary next.

Oops, copy-paste error on last rule. Deleted the bad one.

Just math. Needs text.