func (x :+: xr) = x