Accessibility, stated precisely

A new section separating what has been tested and proven from what is intended but not yet verified.