Viliam comments on A Heuristic Proof of Practical Aligned Superintelligence