A dispositional or teleosemantic account (Millikan, Fodor) grounds correctness in natural functions ...