I think that the interesting thing about Eiffel is that it supports design by contract, an idea that was created and implemented first in Eiffel.