Logic Tree Shape