François-Joseph Lacroix — LessWrong