implemented assertions.