An operator in mathematical logic All Things Water Answers