Mathematician; software composer: maker of puns, especially triangle puns;