Noticed something after the June 2019 Patch. Correct me if I'm wrong, but the idea of lumber mills was to make them equal in production to mines. To that end, both lumber mills and mines give a maximum of 4 production (removing other factors such as Civ-specific bonuses and Wonders e.g. Ruhr Valley). Now hills give +1 production. So putting either a mine or lumber mill gives the extra production. The issue here is that woods also give +1 production! So if you build lumber mills on woods, you get the extra production. This makes lumber mills built on woods on flat tiles equal to mines on hills, but lumber mills on woods hills are objectively better than mines. This means there is really no reason to go for mines over lumber mills (outside of chopping, maybe). Is that right?