  Natural examples of the second kind of independence are provided by the dual method of inner and outer models.  For example, these methods show that the theories ZFC+CH and ZFC+ ¬CH are mutually interpretable with ZFC, that is, all three theories lie in the same degree.  In other words, CH is an Orey sentence with respect to ZFC.  What about that other sentence we introduced: PM?