enriched nonexpansive