CRT Before the Formalized Theory: Calling a Thing a Thing