completed by equivalence