universality of separation, modulo coequalizer and density into cloture (see LEX)