added predicates to verify missing keys