This is a module that helps students believe that they may not have to do a lot of equations with proofs. It is an extension of studies that were covered in the past year and those in analytical and computational foundations. This module helps students to learn about what is true, why, and, how you can know it is true. It will also cover how to do proofs overall. It is full of proofs that you will have to understand and that you will have to produce during the exams. However, this module will give you a few exceptional tricks that you should memorize instead of 100 proofs – which may turn out to be ineffective at all.