Recommendations

Strive for Logical Completness

Rules

Respect const Specification