Q.E.D., Yet What Is Any Ocean...