Correct assert