A structured source code, directly readable (without a flowchart on the side), which we can reason about (informally, then mathematically).
Any unstructured program (or, equivalently, any flowchart) is equivalent to a structured program comprising a single while loop and one extra integer variable.