Mosner’s Theorem (2021)