RGMIA digitization. CAVAL 2011Permission granted, in perpetuity, RGMIA version. MA 5/9/12.