Vixie

the name of the Hubbard family's pet dog at the time of this lecture.