assertion option