"From a drop of water a logician could infer the possibility of an Atlantic or a Niagara without having seen or heard of one or the other."