No-go theorems