n-alexdenrunifv (1)