Why mathematics works — LessWrong