Towards Rigorous Design of OoD Detectors