name: John P. Willis (Coherent Logic Development LLC)
link: https://github.com/CoherentLogic