On the Bernstein–von Mises phenomenon for nonparametric Bayes procedures | Synapse