Working test for 3.1.1 assumption 2, case 3