addVertex and related things