fix existential checks