`lU 87 $ = NlU P $ A NlU ` $ A lU $ <