ooh, okay that helps a lot. Is the ExcludedDistricts basically a black box that you can't look inside? i.e. you know that it prevents a civ with a certain trait from getting a certain district ever, but there's no way to modify the "raze district upon capture" functionality for other situations? I was thinking of making a mod that razes all districts every time you capture a city using Kongo as the example to work from, but it doesn't seem possible.