Structured Programming supports the law of the excluded middle.
你的雨无法落下是因为我。