[1]} show that, under certain conditions, the above construction leads to validity guarantees:
\(\sup _{\theta }\mathsf {P}_{Y^{n+1}|\theta }\lbrace \pi (Y_{n+1};Y^n)) \le \alpha \rbrace \le \alpha , \quad \text{for all $\alpha \in [0,1]$}.\) 
