Kompakt træ for Karl Okholm Sørensen