What do we mean by "testable?"