The Arena code can be refactored to make it much easier to understand. I believe that such a refactoring will enable future development and maintenance of the Arena, and is therefore useful to us even though it has no behavorial changes.