x
Disjoint cycle notation is unique — AI Alignment Forum