Add more assertions.