ByNobleID
    A geometric interpretation of logical formulae | NobleID