proof leaves