Category: addition with regrouping