#no symbol #forbidden tree #not allowed tree #tree negation #tree less