Updated Hybrid proofs