add correct assert