david_vonThenen_code