Safety, Relative Tightness and the Probabilistic Frame Rule. - Janez Ignacij Jereb; Alex Simpson (CoRR, 2025)