Work on EquivalencyStack