I'm not sure if you noticed, but your argument is that I'm not doing a good enough job accounting for the space needed for solar, and the thing you're trying to counter is that if you _ignore_ the space needed for [solar] then vertical farming makes sense. Those are two completely logically independent ideas which can't be used to refute each other regardless of their respective veracities.