oops... problem with existentials