Mike Gundy sucks, John Smith is awesome