Typescript notes: Humanism and World Government