let
exists p ra = exists_aux 0 p ra