assert in the right place