Addition (from FARBAR)