HOL_Holes of Light_detail