Finding An Ending P by Philip Kitcher & Richard Schacht