Instead, execution deals themselves incorporate `upgradeTo()` features handling just how improvements play