U^SAL ?k , 3.