GMG ProofControl 24