Keyword: eiffel 2