The Libertarian Approach to Contracts (eg GPS Speed Regulation)