A ___ is a statement about a problem that can be tested.