Tagged: check

We similarly define ψ for k ∈ J in such a way that uψ is the grandchild of uk that is an ancestor of...