  For Sher, a specific matrix of ‘factors’ determines the unique form of correspondence as well as the correspondence principles that govern our theorizing about them. Which factors are in play depends primarily on the satisfaction conditions of predicates. For example, the form of correspondence for logical truths of the form