Control
-- method refinement
branching --
if ... then ... elsif ... else ... end
iterations --
from ... until ... loop ... end
slide
:
Eiffel -- control