NLaO @! &&NLaOn!an!a}laOiiiiiiii}laO-^a PEx2 infimum supremumpc-^a P\*daExr infimum supremumpc\*da