TREE - ?
if 0, ??U? is proven by TRUE = 1 while TREE=0
(I hate myself for this proof--I think in order to try to prove a letter, you must be able to prove a letter--that is, it should be in the form: IF(A), this letter is proven, ELSE this other letter is proven.)