Rewrites rule explanations