could we use this example to introduce them to the `with` statement?