@&&rii0Ex-2 infimum supremumpc[