Philosophical conjectures and their refutation.