DISPROVERS

Definition of DISPROVERS