Updated PROOF