proof treesets are nice. yay, productivity