Compact tree of Karl v. Ammann