treehouse proofs