clean up and refinement of assertion page and participant table defn