let exists p = exists (p &&& is_pos)