Paul Graham: When should you launch your startup? — Paul Graham