`return hex_id.upper() in orepr.upper()`?