∂ part of node [[proposition]]

Proposition