avturchin comments on Satisf-AI: A Route to Reducing Risks From AI