A group of Notre Dame students left their own commencement ceremony in protest of its guest speaker, Mike Pence. Good on them. There’s a predictable...