use explicit assertion