Expand on sequence rule rewrite a bit