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

...) and clarifies the semantics.