https://www.citationsde.com/citation/gilbert-choquette-51