Fact checked the AVL example (this was sets, not maps, btw)