More on logic trees