"deduce" . . .