CognitionHOL 13 01 2023 CRC