For the last 5 years the indexes have had a habit of creating a very weak fresh ATH before suffering significant corrections. The market rarely tops with a lower high, instead a weak ATH. We have bearish divergences now on $SPX but a $7k run could be the ultra premium short.