Exactly. If a brewer had an 8.5% ABV Pumpkin Porter with chilis and raspberries (!), they would have a choice of about six different styles. To me it is clearly a porter. Why does it need to be anything else due to ABV or add-junks. It's a waste of time to talk about eliminating styles when most others are hell-bent on working towards every beer being it's own unique style. Why not just let the brewers make up whatever style name they want?