⁷I picked this figure to obtain trees with height ≈4. The other figures where picked following the author’s intuitions about the domain.