An Alternative Setting for Resource-Bounded Lob's Theorem — AI Alignment Forum