Fixed bug in statement which guaranteed each vertex's uniqueness.