Maybe better `minOccurs="1"`? When would one specify an empty `validated-executables` element?