What is a statement that can be tested?