 The state \(\mathbf{s}\) is the correct judgment set in \(\mathcal{A}\) (\(=\mathcal{S}\)), containing the true propositions. Someone’s competence can vary across propositions. The propositions on which someone is competent, i.e., likely to judge the truth value correctly, form her area of competence.