but, back to the optimization: does that sound right? i don’t think that we need transitive targets to partition. looking at the mypy code now