kave comments on New social credit formalizations