Improve the clarity of the documentation of arena states by adding a summary table.