finished rev_injective, changed def for pal, back to pal_converse