Talk:A Matter of Principals/@comment-34670475-20180806173044

I kept hearing the name Grover in this. Where have I heard that before?