PROOF PARAMETERS LIST