Yeah, but obviously doing a formalisation that has been done before is different than doing a new one since you have knowledge about the previous attempt. It also just seems less impressive than doing something new and the reason they are reporting this is marketing.