CRITERION-6 Proofs