Dale Mortensen: An appreciation