(@-@) (@-@) >< SPEC 2010-12