Agenda Rank-balanced trees [wads 2009] Proof technique Ravl trees [soda 2010] Proofs ° ExperimentsAgenda • Rank-balanced trees [WADS 2009] – Proof technique • Ravl trees [SODA 2010] – Proofs • Experiments