Correct assertion