@xuwei-k What's the advantage of that? `F` is invariant, so isn't the old version completely equivalent?