A prediction written as an “if, then” statement is called a/an