The administrative step-removing pop metafunction necessitated a no-top? metafunction to know when to apply the Halt rule.