La distinción consulta-orden es importante para el método Eiffel.