propositions tree