Discussing Próspera, the new charter city — LessWrong