[+] Adequate predicate and tests