Make an explicit assertion.