Who says the Jimmy Carter years weren’t funny?