Does it make it funnier that this is the Texas State capitol building?