Terminal equivalence converts ancestor intent into the prohibition against any vector that might distinguish one null from another.