first version of logic trees