On Fri, 10 Feb 2023 15:56:08 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > `appertains` is my new word the day! Thanks. It's not a frequently used part of my vocabulary either, but it's the word used by the Standard. ------------- PR: https://git.openjdk.org/jdk/pull/12507