add equiv impl for vertices