analysis of the symmetric case
Use align environment for formulas
use \cdot for multiplication
fibonacci tree definition
revise section titles
asymmetric witness trees
add asymptotic bounds for L
analysis of always go left
nondistinct balls
cleaner sources
review
use align* instead of align
conclusion
abstract