more implementation stuff: CountTest succeeds