Page "Dummett–Farquharson conjecture" not found :(