Proving that test can pass