+proofmaker main part