Assuming we've solved X, could we do Y... — LessWrong