Rescue 33 - Proofs