--- a/sql.ur	Mon Mar 21 10:16:12 2011 -0400
+++ b/sql.ur	Tue Jun 14 08:55:15 2011 -0400
@@ -10,7 +10,7 @@
                       (inj : sql_injectable t) (v : t)
                       (exp : rest :: {Type} -> [rest ~ key] => sql_exp [tn = key ++ rest] [] [] bool)
                       [rest :: {Type}] [rest ~ [nm = t] ++ key] =>
-         (WHERE {{tn}}.{nm} = {@sql_inject inj v} AND {exp [[nm = t] ++ rest] !}))
+         (WHERE {{tn}}.{nm} = {@sql_inject inj v} AND {exp [[nm = t] ++ rest]}))
      (fn [rest :: {Type}] [rest ~ []] => (WHERE TRUE))
      fl m r [_] !
 
@@ -22,6 +22,6 @@
                       (exp : rest1 :: {Type} -> rest2 :: {Type} -> [rest1 ~ key] => [rest2 ~ key]
                        => sql_exp [tn1 = key ++ rest1, tn2 = key ++ rest2] [] [] bool)
                       [rest1 :: {Type}] [rest2 :: {Type}] [rest1 ~ [nm = t] ++ key] [rest2 ~ [nm = t] ++ key] =>
-         (WHERE {{tn1}}.{nm} = {{tn2}}.{nm} AND {exp [[nm = t] ++ rest1] [[nm = t] ++ rest2] ! !}))
+         (WHERE {{tn1}}.{nm} = {{tn2}}.{nm} AND {exp [[nm = t] ++ rest1] [[nm = t] ++ rest2]}))
      (fn [rest1 :: {Type}] [rest2 :: {Type}] [rest1 ~ []] [rest2 ~ []] => (WHERE TRUE))
      fl [_] [_] ! !