-extra assertion