(Update/clarification: this was not in any way a reference to the Venezuela earthquake, of which I was unaware at the time of posting.)

@conitzer I'll let you know when we have an earthquake here in Japan.