x
Normal subgroup — AI Alignment Forum