Forrest - PROOFS