The story is fundamentally hopeful, just like Andy Weir’s The Martian.