The intension of 'some pig' may be taken as that function from S/N intensions to intensions such that if (/ is any S/N intension, (f is the intension ((t t), and is any index, then truth if,for some intension (i) is a pig