Some work on assertions.