Which of the following requirements is testable?