ByNobleID
    A Semantics for Eshghi and Kowalski's Procedure. | NobleID