What Is Nova Short For