make the example more succinct