avturchin comments on A Heuristic Proof of Practical Aligned Superintelligence