Working rule and test case for 3.1.1 assumption 2, case 2