Snet is agnostic and multichain ultimately. I think there is value running on both Cardano and Constellation since they both embrace formally verified programming principles. I see future synergies in AI domain specific language and a Cardano state channel with StackF and Babel.