What is the sum of 1 and 3?