Why does this get deleted? This is an example for expository purposes