We need only three lexical items: one simple variable having the first variable intension; an N/N having as intension a function whose value, given as argument the nth variable intension for any is the l)th variable intension; and an ((S/N)/S)/N