prooftree