coreduction should only end when BOTH end