Section 2, treap invariants and split/join; later sections analyze expected depth and operation cost.