Sean collects more proofs. Back