Something that can be proved is a ___.