Predicate

In what case does the condition you added here hold? Not knowing when this happens, it seems a little surprising to me to silently return.