I'm not familiar with the real estate situation there beyond "people are being priced out of Palo Alto". Is the city averse to all new construction or just lower-cost housing?