folk_theorem