that basic dumb approach seems generally the most sane thing you can do with a transitive resolver/solver