Corrector complete, User Case 4 tests pass