Translate "Example: Testing for Braun Trees"