  Just as the logic of \({{\medsquare}}\) will vary with constraints  that can be placed on R, so too will the logic of strict  conditionals.[26]  For example, if one does not assume that \(w\in R(w)\) then modus ponens will not hold for the strict conditional: \(\psi\) will not follow from \(\phi\) and \({{\medsquare}}(\phi\supset\psi)\). But even without settling these constraints, some basic logical properties of the analysis can be  established. The discussion to follow is by no means  exhaustive.[27]  Instead, it will highlight the logical patterns which are central to the debates between competing analyses.