I like the alternative formulation because it's much more direct and depends only on the functionality we need here.

Would you mind changing it?