Integral domain — LessWrong