more work on the CountNonDivisible problem