 One important use for conditionals in logic is in formalizing restricted universal quantification, expressing the connection between \(A\) and \(B\) in ‘All \(A\)s are \(B\)s’. This has recently played a key role in a number of discussions of conditionals and paradoxes; see for example Beall et al. (2006); Beall (2011); Field (2014); and Ripley (2015).