Code Refinement and Test Case 1
Test Case 2