non redundant test case