∂ part of node [[formal-logic]]