value1 = () +=+ ()
  where a +=+ b = ()