HAL Protocol — CheckPo