Associative implicit addition section for spec