maddogsparky writes "Spaceref.com has a copy of a bill laying out a roadmap for NASA to send a manned mission to Mars by 2022. Highlights include an manned asteroid landing, building a research outpost on one of Mars' moons and actually providing funds to start mission planning."
We warn the reader in advance that the proof presented here depends on a
clever but highly unmotivated trick.
-- Howard Anton, "Elementary Linear Algebra"