(1 2 ) :sum 3.