such that we compute a closure for each of them