(@-@) (@-@) (@-@) >< SPEC spec 2015-09