¹As formalized by Muth (1960).