Implemented by assert.