What a reduction of "probability" probably looks like — LessWrong