The idea is given a problem, people can suggest approaches, each approach can become a branch of the tree. people can then chose a branch to work on, and branches more. Until it reaches something people are able to solve. so it seems like a proof tree system.