It's isomorphic to making FP strats transitive in the task graph