Our paper “Positive Focusing is Directly Useful” (with Beniamino Accattoli) has been accepted at MFPS 2024.