RA_Disp = meta_proofs + RA_Rls