( M \ AA a ?k E(