The source permits demonstrative premises that are inferentially certain when their proofs ultimately rest on certain foundations.

Demonstration and the Six Kinds of Certain Premises