Design: Eiffel’s Clover Leaf #6