If anyone would like to support Jim (who is really lovely) in either of these two pieces of work, please mention that Gillian Arnold said that he is looking for volunteers and contact him directly on austin@cs.york.ac.uk