I've just sent another last-minute paper, 09-219, to the J3 server. It's about the effect of associations on pointer definition and undefinition. We cover the effect well for variable definition and undefinition, and for allocation, but not for pointer association.