Translate "Example: Proving Properties on Braun Trees"