`refute_predicate` will give you a better error message if it fails.