Gone through the basic section of code contracts