P pnas.org Lava tubes may be havens for ancient alien life and future human explorers 40 points pseudolus 6 years ago 15 comments