https://9lib.org/document/z3dlxjd8-view-of-functions-of-proper-names.html