ByNobleID
    Coherence for 3-dualizable objects | NobleID