TAU is a morphism of relative comonad with cut