https://9dok.net/document/yev17nve-right-figure-set-boxes-reachable-right-shaded.html