Proof that parameter names and values are parameter encoded