Intro To Proofs Lhs And Rhs