Fixes #66 - Moves the rule governing overflow protection (1.18) to (3.17) and clarifies the semantics.