Quaternary completion converts predecessor distinctions into boundary conditions whose satisfaction demands their own permanent exclusion from the manifold.