the assert function