⟨Hunch.SemidirectArithmetic.reordering, Hunch.SemidirectArithmetic.history_permutation⟩