added assert