This work was shown at Kings ARI, July 2013.