Eiffel is a pure, statically typed OO language. It has built-in support for Design By Contract. Mechanisms such as design by contract, now available in mainstream programming languages, should be taught as part of foundational computational thinking at the university level. Students who learn the benefits of principled thinking and see the value of the related tools will retain these lessons throughout their careers. Eiffel is an industrial strength object-oriented language that has influenced other languages such as Java, C# and UML. Companies use Eiffel because it provides the right paradigms to address the construction of large, high-quality object oriented software systems. Eiffel is more than a language; it is a framework for thinking about, specifying, designing and implementing object-oriented software.