VARIOLIZATIONS

Definition of VARIOLIZATIONS