Over-abstraction of groundwater could render the aquifer unusable by 2016.
A correct proof would essentially render all modern encryption obsolete.
Antonyms