Left panel: comparison between the full prior distribution (black shaded region, 95% credible region bounded by the dark green contour) for the PP model with a 1.97 M_⊙ cutoff (light green contour, as used in Raaijmakers et al. 2019) and when updated by parameter estimation using the 2.14 M_⊙ pulsar likelihood function (black dashed contour) from Cromartie et al. (2019). Using a cutoff in the prior allows for slightly smaller radii than using the likelihood function: this is due to both the higher mass of the center of the pulsar likelihood function and the fact that the likelihood function gives more weight to an EOS with a maximum mass of 2.14 M_⊙ than, e.g., 2.05 M_⊙. Right panel: comparison between the 95% credible regions of the prior distributions of the PP model (black, dashed contour) and the CS model (dark green contour), when updated with the 2.14 M_⊙ pulsar likelihood function. We also show the 95% credible region (black shaded region with blue contours) of the prior distribution using the spectral model (Lindblom 2018) that was used in Abbott et al. (2018). From the comparison it is clear that the prior with the spectral model allows for a much stiffer EOS but has a similar bound at low radii.