Title: On the explanation of rule reordering