So far he has produced no mathematical proof and I've already shown that the very idea of being able to penalise the 90% stake holder (as a whole) is *impossible* (as the stake holder just divides up his stake into multiple accounts so only 1 account would get penalised for each block).
I am not going to propose any changes until I have some "math" to back them up (so I don't want people to "believe in me" any more than BCNext) and it will ultimately be up to the community to decide what path to take.
For example, we can track the path the funds have taken into the smaller accounts and combine them into a single 90% attacker. I guess the attacker would have to use NXTcash to avoid being correlated. Another way to group a cooperating group of minority accounts is to identify characteristics of the attack and penalize any node with similar enough characteristics. Not exactly a kind thing to do, but the assumption is that we are at red alert network being attacked mode, so if there are some false positives who cant forge for a bit, I think that is acceptable.
James