∂ part of node [[hypothesis-extension]]