EXTRAVERTS

Definition of EXTRAVERTS