("+" 1 2)