We will need to deprecated the instance predicate here. We don't know how use it right now.