Changes to the core specification

Last round, hopefully.
Changes to the validation specification

Last round, hopefully.