Merge clarifications and editorial improvements - #8

Merge clarifications and editorial improvements#8

m-mohr wants to merge 1 commit into

mainvecorel/specification:mainfrom

merge-clarificationsvecorel/specification:merge-clarificationsCopy head branch name to clipboard