(@-@) (@-@) >< SPEC spec 2014-05