let exists p ra = exists_aux 0 p ra