Eventually we should support infinite level
Add TODO for bug re: downward gestalts