Whales communicate with each other in first order predicate logic.