  An evaluation then assigns formulas a truth-value at each world; so some \(p\) may be true at one world but false at another. With the Routley star, these may even be the same world. The conditions on implication and negation are as follows: