In section 4.6.2 ("Method and constructor validation") we still speak about reachable and cascadable parameters and return values. Since we decided that parameters and return values are considered always reachable and cascadable (if marked for cascaded validation), this should be updated:

• Execute all parameter validations...
• For all parameters marked for cascaded validation, execute cascaded validations...