A quantitative Birman–Menasco finiteness theorem and its application to crossing number. Issue 4 (11th September 2022)