"Demonstrative proof is lacking, but if we thought only about those things about which such proof were available, our minds would be empty most of the time."