ByNobleID
    CLASSICAL PROPOSITIONAL LOGIC | NobleID