You’re 100% correct. :)
I wonder if Alabama loses, will some of their fans head up to South Bend and poison the trees?