(comment modified)
internal: EqSet implementation added