technically yes, but on an other topic, I think we should try to make the policy/miniscript more “readable” in order to be really validated on the signing device in a sane way by a lambda user, and imho adding more argument to the policy semantic push to the wrong direction …