delete backward lemma
rewrite "neutral" predicate