Frege on the psychological significance of definitions