https://primanota.net/ben-gibbard/page2.htm