dense into cloture : dense eq
a