Eiffel Duplex view 1