Incorrect handling of existentials.