A statement that’s accuracy can be tested by experiments and through observations is formally called a _______________?