Started reachability, need to make a transitive closure matrix