Hasn't @JasonGross just proposed that we get rid of `pr1` and `pr2`? Which will it be?