Design: Eiffel’s Clover Leaf #5