HAL Identification Procedures