If cryonics is outright prohibited, then the first part of the conditional is very unlikely to obtain...
If cryonics is outright prohibited, then the first part of the conditional is very unlikely to obtain...