Add some assertions.