Adding the proved example about unknot equivalence along with incorporating suggested changes about redundancies