think about property-less vertices, write a bit