In response to a students’ petition the University of Edinburgh has decided to remove David Hume’s name from one of its buildings.