as in `witness to an existential quantifier. Can anyone tell me how far back this usage goes? I know in french there is an analogous use of the word `t\'emoins'. What about German? Who started it?