exn , V u-t,