(@-@) (@-@) (@-@) >< SPEC 2022-10