Proof Pearl: Braun Trees