The goal is simple. To compute the transitive closure of all our knowledge