well,this problem for a long time,and tell him up eventually with something that we first called the same predicate.
and the same predicate.