debugging treeProposing system