2009-08-12 Richard Sandiford <rdsandiford@googlemail.com>