ByNobleID
    A simpler lambda calculus | NobleID