add assertions