ACCORDING to Mr. S. N. Gupta,1 the first thing that every student of Hindu logic has to learn when he is said to begin the study of inference is that " all H is S " is not always equivalent to " No H is not S." " The latter proposition is an absurdity when S is Kebaldnvayi, i.e. covers the whole sphere of thought and existence. . . . ' Knowable ' and ' Nameable ' are among the examples of Kebaldnvayi terms. If you say there is a thing not-knowable, how do you know it ? If you say there is a thing not-nameable, you must point that out, i.e. somehow name it. Thus you contradict yourself."