 By direct Hempelian confirmation, evidence statement \(e\) that, say, object \(a\) is a white swan, \(swan(a) \wedge white(a)\), confirms hypothesis \(h\) that all swans are white, \(\forall x(swan(x) \rightarrow white(x))\), because the former entails the \(e\)-development of the latter, that is, \(swan(a) \rightarrow white(a)\). This is a desired result, according to Hempel’s reading of Nicod. By (indirect) Hempelian confirmation, moreover, \(swan(a) \wedge white(a)\) also confirms that a particular further object \(b\) will be white, if it’s a swan, i.e., \(swan(b) \rightarrow white(b)\) (to see this, just set \(s = \forall x(swan(x) \rightarrow white(x))\)).