Just in case you're interested, Eike Mueller's paper on the stuff he talked about at UKMAC is here: http://arxiv.org/abs/1302.7193 Paul