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