CRITERION-4 Proofs