ByNobleID
    On the Safety Theorem | NobleID