“A Formal Analysis of Boomerang Probabilities”, ToSC, vol. 2022, no. 1, pp. 88–109, Mar. 2022, doi: 10.46586/tosc.v2022.i1.88-109.