lol :) The school is named after Betty Holberton: https://en.wikipedia.org/wiki/Betty_Holberton