/* 23-mini-tree */