(@-@) (@-@) (@-@) >< SPEC spec 2012-04