assertion correction