init＝＝\*the initial predicate.