The following text has some small errors, should be updated as such on
https://genentech.github.io/phase1b/main/articles/introduction.html#posterior-probability-design
I think it should read
... exceeds some lower probability threshold tL
... Pr(Pe < p0) > tL...