An optimal distributed (Δ+1)-coloring algorithm? (Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing)