Proof and Proving is following