ByNobleID
    PROOF ANALYSIS OF GLOBAL CONSEQUENCE | NobleID