Thoroughly tested forced partial assignments.