folk theorems