Truth 2/e P by Paul Horwich