x
Abstract algebra — LessWrong