Logic and the Sea