( nrauu P^0 [ iu ; s)