∂ part of node [[hypotheses]]