What would 10x or 100x better than CFAR look like? — LessWrong