Group conjugate — LessWrong