Add some assertion