testing ∃ entity