Murphy’s Quest Ch 9: Double Crux — LessWrong