Document and assert.