Distilling up to a high degree of purity the code for 3.1.1 assumption 6