migrated subsumes? spec to new version