ByNobleID
    Deducibility and Axiomatic Extensions | NobleID