How dath ilan coordinates around solving alignment — LessWrong