Review: E. J. Lemmon, On Sentences Verifiable by Their Use; Jaakko Hintikka, Cogito, Ergo Sum: Inference or Performance?