Proof and Proving prehome