Luke_A_Somers comments on Musk, Mars and x-risk