( Pr std ):