Title: Aleph-zero-categoricity over a predicate