Ted Kaczyinski proves instrumental convergence? — LessWrong