removed unuseful predicate
updated README