Last test cases proven.