assert di