Added some assertion functions