neq1 comments on A Challenge for LessWrong