Adds proof to l_rev_pal