added "assert"