ByNobleID
    A theory of absolute proper retracts | NobleID