Kompakt træ for Hans Jørgensen Clause