MarkWhittington writes: "In an Oped piece in USA Today touting the idea of manned missions to Mars, Louis Friedman, the executive director emeritus of the Planetary Society, made the curious supposition that Mars is at the far limit of human aspirations for space travel." Link to Original Source
We declare the names
of all variables and functions.
Yet the Tao has no type specifier.