Added forall method to EquaSets.