Hard-core predicate doesn't have any subscribers yet.