$et \ asU n^ekt.