Nice and easy (plus performant) reachability computation. Inversion is to be added