I think that's much uglier and less explicit, but ok.