Are wireheads happy? — AI Alignment Forum