Generalizing the Power-Seeking Theorems — AI Alignment Forum