implies(($method eq "post") => 
        ($contenttype eq "application/x-www-form-urlencoded))