Գրեք սա: Logic with trees