foralls are incompatible with the new exists construction.  we just can't win.