add ASSERT