Kompakt træ for Ole Boisen Sørensen