restructure spec code
describe equality of vertices and edges