ByNobleID
    Monoidal closedness of the category of simulations | NobleID