What does 4 + 7 add up to?