added mention of the folk theorem