"Detailed terms" for that bet, where they define what "destroy Earth" means are a good read.