done

pull request for predicates solutions.