On 7 Jun 2013, at 23:29, Martin Escardo <m.escardo at cs.bham.ac.uk> wrote: > Imagine two plate tectonics colliding with each other: an earthquake is what you would expect, and it is what we are getting. Wishful thinking. Conor