Shannon & Matt - proofs