A great deal more is known than has been proved.