From the Abstract: > and explanation of the thinking behind Eiffel's corresponding mechanisms. Eiffel is the author's language so naturally it's going to conf

From the Abstract: > and explanation of the thinking behind Eiffel's corresponding mechanisms. Eiffel is the author's language so naturally it's going to conform to his ideas for what's correct or not. This is a defense of his language design choices, not about "deriving" the perfect language from some first principles or "calculus" and accidentally discovering it's Eiffel.