 The first axioms captures the intuition behind indication. It says that if an agent has reason to believe that \(A\) holds, then, if \(A\) indicates \(x\) to her, she has reason to believe \(x\) as well. CS2 says that indication extends material implication. CS3 says that if two propositions \(x\) and \(y\) are indicated to an agent by a proposition \(A\), then \(A\) indicates to her also the conjunction of \(x\) and \(y\). The next axiom states that indication is transitive. CS5 says that if a proposition \(A\) indicates to \(i\) that agent \(j\) has reason to believe \(B\), and \(i\) has reason to believe that \(B\) indicates \(x\) to \(j\), then \(A\) indicates to \(i\) also that \(j\) has reason to believe \(x\).