sq-assoc-trans