[kvathupo]

I think the proof is in the mentioned 15 year ban that ACM handed down [1]

[1] - https://twitter.com/sigarch/status/1358873198222311427

[phendrenad2]

Wow, okay edited my comment.