Forest Logic view 1