# leave - in a [[graph]], a [[node]] with no [[children]].