RGMIA digitization. CAVAL 2011. (infinity is subscripted in title) Lyn 19/7/12. Permission granted, in perpetuity, RGMIA version. HD 6/9/12 Released to live archive 7/8/2020