We want to focus on more mathematical and rigorous reasoning because it can be much more effective if we can manipulate it the right way as we will discuss in this chapter.