Correct assertion condition