- implement retract from prooftree