 Suppose there is an independent set \(H\). Then if \(H = F\) or \(H\) generates \(F\) via conjunction, then all facts are contingent. Moreover, Modal Criterion holds if \(H = F\) or generates \(F\) via conjunction or Booleanization.