Potential benefits
Debugging, self-documentation and maintenance
The scope of iteration and of conditionals is well-defined and visible
The conditions embedded within compound conditions can be seen easily
The scope of local and global variables is obvious
Arbitrary transfers of control are impossible
Complete structures should fit on one page (with no off-page connectors)
Recursion has a trivial representation