Talk:Aanderaa–Rosenberg conjecture