HOL-November-2024-1