Here are some 2 proofs | ScratchStats