Abstract
The premise of this report is that the nested ‘if-then-else’ construct occurs frequently and that these constructs if nested deeply are detrimental to program readability and maintenance. To mitigate this situation we propose and describe a control structure which provides for the description of such a multilevel decision process via a binary tree. Examples are presented to promote our viewpoint, and a formal inference rule is supplied.