updated docs
fixed reversed predicate order