In the Testing phase of Program4