Effective Kan Fibrations in Simplicial Sets nidottuEnglanti, 2022