 Counterfactuals are not just used to analyze how a given mental state represents reality, but also when a mental state counts as knowledge. Numerous counterexamples, like Gettier cases, make the identification of knowledge with justified true belief problematic—for further details see  the analysis of knowledge.  But some build on this analysis by proposing further conditions to address these counterexamples. Two counterfactual conditions are prominent in this literature: