∂ part of node [[lambda-calculus]]