Henkin quantifier