This talk is about two prominent axioms of set theory which were introduced independently from one another in the late 80's/early 90's by Foreman-Magidor-Shelah and Woodin and which both decide the size of the continuum in the same way. Answering a long standing question, in a 2021 Annals paper D. Asperó and the speaker showed that these two axioms of set theory are compatible, in fact one implies the other. Both axioms are so-called forcing axioms which are also exploited in topology, algebra, the theory of operator algebras, and elsewhere. I am going to provide a soft hand, accessible introduction to our result.