So the reason why we're vt.edu, when domain names first started coming out in the late '80s, Georgia Tech was gatech.edu. We wanted to name ourselves vatech.edu. And Tech was starting to do the branding thing back to VT and all that. And Mike Williams, who was the director of the competing center at the time, he said, no, we're going to be vt.edu. And we said, you know, that's Vermont. I mean, you know, we can't that's gonna cause all sorts of problems. Virginia Tech was too long a domain name. Virginia had gotten virginia.edu and we said, V-A Tech, and he said, no, it's vt.edu. And that's why we became vt.edu because he said, we're going to be vt.edu  because it's easier to type.