 “Knowledge is acquired by demonstration”: this in turn assumes a definition. Now, definitions cannot be proved, but have to be believed; therefore demonstration based on assumptions (ex suppositis) will produce knowledge of a suppositious kind, not sound exact knowledge…So the conclusions to be drawn from these first principles will be things assumed, not things known. (TNK: 201)