coprod
cancellation