Proof
	l Proof validation, not generation l Simple things: a èb, a thus b. l  validation: do the URI’s exist, are the steps followed in the reasoning valid?
			24