The work of Richard Battles