Title: John Vine: a memorial booklet