Stich renamed to cosum, cosymsum, coproduct.