Lts

First version of the chapter on logic trees