https://9lib.org/document/6qmj898q-types-expressive-function-served-characters-proper-names-potter.html