AIS terminology proposal: standardize terms for probability ranges — LessWrong