symmetric tree. etc.