Eiffel is a pure object-oriented programming language