Improved list recovery predicates