 In full generality, the indistinguishability interpretation holds that for \(K_{a}\) to capture knowledge, the relation \(R_{a}\) must be an equivalence relation. A pointed Kripke model for which this is satisfied is often referred to as an epistemic state. In epistemic states, the relation is denoted by a tilde with subscript: \(\sim_{a}\).