add some assertion