Disjoint tests should now really work