What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems