Gina & Patrick - proofs