Overlay of the WKB predictions for the divergence of the diffusion flux N div(ℱ_tot) and the differences between the initial and the evolved DF in S12’s simulation. The opaque contours correspond to the differences in the action-space for the DF in S12 between the time t_S12 = 1000 and t_S12 = 0 (see the upper panel of S12’s Fig. 10). The red opaque contours correspond to negative differences, so that these regions are emptied from their orbits, whereas blue opaque contours correspond to positive differences, i.e. regions where the DF has increased through diffusion. The transparent contours correspond to the predicted values of N div(ℱ_tot) using the same conventions as in Fig. 9. We note the overlap of the predicted transparent red and blue contours with the measured solid ones.