HOL095: Vampire