basic (existence) predicates now working