I am confused about the whole local happiness from buildings thing. I know that the happiness generated from certain buildings, specifically the Colosseum line, can't exceed the total population. But does this include walls, castles, etc from professional army or universities, observatories, etc...