There are, at last count, at least eight for-profit companies and nonprofit foundations with plans to colonize Mars. Is Martian Springs discussion only? Or is there intent for the group to formalize and send people to Mars?