Added some assert functions