Did some more work on MiGrep