Ah, I see, so it’s basically the Racy Single-Check Idiom.