anchor: Then we could have obtained a computer for you and you could have simulated our sky as it should be within your computer and forced it to be repaired long ago.
positive: Then we could have gotten you a computer to run a simulation.
negative: Then you could have used your magic to repair our sky.