FIXED MATCH PROOFS