 Priest (2016) adopts two principles that are similar to, but stronger than, (NP): ‘everything holds at some worlds, and everything fails at some worlds’ (Priest 2016, 5) and, for any distinct \(A\), \(B\), ‘there are worlds where \(A\) holds and \(B\) fails’ (Priest 2016, 7). More specifically, in our terminology: 