And in general, for any task that doesn't actually care about transitive invalidation, it avoids a potentially costly topological sort