One is asked to find a ''pure interpretant'' for <math>\operatorname{I},</math> that is, an equivalent term in <math>\langle \operatorname{K}, \operatorname{S} \rangle,</math> the ''combinatory algebra'' generated by <math>\operatorname{K}</math> and <math>\operatorname{S},</math> that does as <math>\operatorname{I}</math> does. | One is asked to find a ''pure interpretant'' for <math>\operatorname{I},</math> that is, an equivalent term in <math>\langle \operatorname{K}, \operatorname{S} \rangle,</math> the ''combinatory algebra'' generated by <math>\operatorname{K}</math> and <math>\operatorname{S},</math> that does as <math>\operatorname{I}</math> does. |