∂ part of node [[proposition-joe]]

Proposition Joe