Trygve Haavelmo quotes