he had done his theoretical calculations and numerical simulations down there in new mexico in their special high voltage facility while they were still busy playing with the rockets and he had discovered how to set off lightning from clouds .