HAL Protocol Completionists