Five Thoughts on the GOP Debate