Two more assertions.