Structured Programming supports the law of the excluded middle.