Recommendations
Strive for Logical Completness
Rules
Respect const Specification
Do not reuse variable names in sub-scopes