P ; U ' is ( 1.