Improve section about LowerUnivalents