predicates MJK