edge & vertex uniqueness for TRAVERSE