The abelianization conjecture for the pro-Lie algebra of NNN
Abelianization conjecture. We conjecture that