so, this rule is how we compute transitive Hydrate...
# general
w