A statement that depends on the truth values of its components but is not always True or always False is a: