No idea what else would have to be included, if anything.
FWIW, baseballtradevalues.com gives Devers a trade value surplus of $129million and Soto a surplus value of $132million, meaning a 1 for 1 swap is actually close enough to equal.
But Soto has that whole "World Series Hero" thing going on, and trading him away, even for Devers, would make Nats GM Mike Rizzo the second most unpopular man in DC...