and closure() does dfs-ish
# general
w
and closure() does dfs-ish