Here (and back at line 901) you should tell the reader what pattern you are testing for -- see previous examples in file. Also, should you be using what has already been done for `reduced_eq` or should you be starting fresh, in each of these matching sections, with `eq`?