URFT and n(z)

Formal unification across domains.