it's pretty clear from context that we're talking about addition. you don't usually see '2' on the RHS of a boolean equation.