let for_all p ra = for_all_aux 0 p ra