Text this: UNIVALENT ENRICHED CATEGORIES AND THE ENRICHED REZK COMPLETION.