1. More work on logical tree