Correlation of the eccentricities of K2-19 b and K2-19 c. The dots represent the posterior samples at t_ref, and the color scale shows their log-posterior value. The evolution during the observations for 1000 random draws from the posterior distribution is shown in light gray (black for a random sample), light red (red for a random sample), and light blue (blue for the MAP model). The color coding depends on whether ϖ_b − ϖ_c circulates, librates around π, or librates around zero (the same scheme as in Fig. 4). The blue dot represents the MAP model values at t_ref (and from there, it starts to move upward), and similarly for the two random samples in red (left) and black (upward). Section 5.4 discusses the shape of the domain and resonance angle behavior.