 Gee, even when I was a kid, Larry, I heard about people wanting to remove the pop tax. What were the challenges to finally getting that done, and how difficult is it to actually remove a tax from the books? Because this one funded the WVU Medical School, the construction of the medical school, obviously, but continued to be a revenue source. So how difficult was it to bring this one off the books?