( Sn P:n ) ^ gurd.