Like OnceAndOnlyOnce, but without the OnceAndOnlyOnceNameParadox.