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