Improving Our Safety Cases Using Upper and Lower Bounds — LessWrong