PROVABLENESSES

Definition of PROVABLENESSES