Added in "at least some" assertions.