One definition, therefore, is an undemonstrable account of what a thing is; one is a deduction of what it is, differing in aspect from the demonstration; a third is a conclusion of the demonstration of what it is.