 [where] the premisses of demonstrated knowledge must be true, primary, immediate, better known than and prior to the conclusion, which is further related to them as effect to cause. (Posterior Analytics 1.71–2, as quoted in Jeffrey 1969: 104)