Title: David Tindle: recent work