Logic Leviathan C by David P. Gauthier