If the intension of the original name 'Porky' is the intension (f, then the intension of the corresponding pseudo name 'Porky should be that function (j from S/N intensions to intensions such that for any S/N intension