Proof of Trees