88@&&,8#{8iiZE8xk882 infimum supremumpc '