Document aok.assert.