A statement based upon a fact which can be proven to be correct or incorrect is called a(n)...