Switch to notation that doesn't conflict with existentials.