Rewrite/Predicate initial