docs for the example