coherence-for-duoidals-wrong-statement