Davies’s theorem and the coloring number of graphs | Synapse